تعداد ۵۷ پاسخ غیر تکراری از ۵۷ پاسخ تکراری در مدت زمان ۰,۷۳ ثانیه یافت شد.

1. Algebraic Foundations of Systems Specification

پدیدآورنده: edited by Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner.

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Logic design.,Software engineering.

RIS Bibtex ISO

2. Algebraic Methodology and Software Technology :

پدیدآورنده: edited by Charles Rattray, Savitri Maharaj, Carron Shankland.

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Logic design.,Software engineering.

RIS Bibtex ISO

3. Automata for branching and layered temporal structures: an investigation into regularities of infinite transition systems

پدیدآورنده: Puppis, Gabriele

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: ، Machine theory,، Computer science,، Software engineering,، Computer software,، Logic design,، Artificial intelligence

رده :

QA

267

.

P87

2010

مشاهده در قفسه مجازی RIS Bibtex ISO

4. Automated Deduction - CADE-23 :

پدیدآورنده: edited by Nikolaj Bjørner, Viorica Sofronie-Stokkermans.

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Logic design.,Software engineering.

RIS Bibtex ISO

5. Compiler Generators :

پدیدآورنده: by Mads Tofte.

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Logic design.,Software engineering.

رده :

QA76

.

76

.

C65

B963

1990

مشاهده در قفسه مجازی RIS Bibtex ISO

6. Computer Aided Verification :

پدیدآورنده: edited by Rajeev Alur, Thomas A. Henzinger.

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Logic design.,Software engineering.

RIS Bibtex ISO

7. Computer Aided Verification :

پدیدآورنده: edited by Gregor Bochmann, David Karl Probst.

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Logic design.,Software engineering.

RIS Bibtex ISO

8. Computing in Horn Clause Theories

پدیدآورنده: by Peter Padawitz.

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Logic design.,Software engineering.

رده :

QA76

.

6

B974

1988

مشاهده در قفسه مجازی RIS Bibtex ISO

9. Concurrency, Compositionality, and Correctnes

پدیدآورنده: / edited by Dennis Dams, Ulrich Hannemann, Martin Steffen

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Computer science.,Software engineering.,Computer software.,Logic design.

RIS Bibtex ISO

10. Constructive Methods in Computing Science :

پدیدآورنده: edited by Manfred Broy.

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Logic design.,Software engineering.

رده :

QA75

.

5

E358

1989

مشاهده در قفسه مجازی RIS Bibtex ISO

11. Distributed programming : theory and practice

پدیدآورنده: / A. Udaya Shankar

کتابخانه: کتابخانه پردیس بین الملل كیش (دانشگاه تهران) (هرمزگان)

موضوع: Computer science,Software engineering,Logic design

رده :

QA76

.

6

مشاهده در قفسه مجازی RIS Bibtex ISO

12. Formal Aspects of Component Software :

پدیدآورنده: edited by Corina S. Pasareanu, Gwen Salaün.

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Logic design.,Software engineering.

RIS Bibtex ISO

13. Formal Engineering for Industrial Software Development :

پدیدآورنده: by Shaoying Liu.

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Logic design.,Software engineering.

رده :

QA76

.

76

.

D47

B974

2004

مشاهده در قفسه مجازی RIS Bibtex ISO

14. Formal Methods in Programming and Their Applications :

پدیدآورنده: edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Logic design.,Software engineering.

رده :

QA76

.

6

E358

1993

مشاهده در قفسه مجازی RIS Bibtex ISO

15. Fundamentals of Algebraic Specification 2 :

پدیدآورنده: by Hartmut Ehrig, Bernd Mahr.

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Logic design.,Software engineering.

رده :

QA76

.

9

.

L63

B943

1990

مشاهده در قفسه مجازی RIS Bibtex ISO

16. Implementation and Application of Functional Languages

پدیدآورنده: edited by Sven-Bodo Scholz, Olaf Chitil.

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Artificial intelligence.,Computer science.,Logic design.,Software engineering.

RIS Bibtex ISO

17. Implementation and Application of Functional Languages

پدیدآورنده: edited by Marco T. Morazán, Sven-Bodo Scholz.

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Artificial intelligence.,Computer science.,Logic design.,Software engineering.

RIS Bibtex ISO

18. Implementation and application of functional language

پدیدآورنده: / Jurriaan Hage, Marco T. Morazaan (eds

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع: Functional programming languages, Congresses,Computer science,Software engineering,Logic design,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Mathematical Logic and Formal Languages,Programming Techniques,Electronic books

رده :

QA76

.

62

.

I58

2010

مشاهده در قفسه مجازی RIS Bibtex ISO

19. Interactive Systems:

پدیدآورنده: edited by Fabio Paternó.

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Logic design.,Software engineering.

رده :

T385

.

E358

1995

مشاهده در قفسه مجازی RIS Bibtex ISO

20. LATINCRYPT 2017-Progress in Cryptology

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Data encryption (Computer science). ; Software engineering. ; Computer science. ; Logic design. ; Coding theory. ; Cryptology. ;

RIS Bibtex ISO

»
3
2
1
«

این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است